/*
 * elbp/pc/efi.hh - EFI-specific ELBP definitions.
 * Copyright (C) 2007  Mikhail Vorozhtsov
 * See the LICENSE section of the README file for details.
 */

/* $Id$ */

#ifndef HEADER_ELBP_EFI_ELBP_HH
#define HEADER_ELBP_EFI_ELBP_HH

#ifdef IN_CXX_CODE

START_NAMESPACE2 (elbp,efi)

struct header_t
{
  version_t version;
  u32_t pad;
};

struct info_t
{
  u64_t handle;
  u64_t system_table;
};

END_NAMESPACE2

#endif /* IN_CXX_CODE */

#endif /* HEADER_ELBP_EFI_ELBP_HH */

